FROM tomcat
# Setting time zone
RUN cp /usr/share/zoneinfo/Asia/Shanghai /etc/localtime && echo 'Asia/Shanghai' >/etc/timezone

 
RUN mkdir -p /var/jenkins_home
ENV JENKINS_HOME=/var/jenkins_home

EXPOSE 8080

VOLUME ["/usr/local/tomcat/logs" ]